(HO)RPO Revisited

نویسنده

  • Frédéric Blanqui
چکیده

The notion of computability closure has been introduced for proving the termination of the combination of higher-order rewriting and beta-reduction. It is also used for strengthening the higher-order recursive path ordering. In the present paper, we study in more details the relations between the computability closure and the (higher-order) recursive path ordering. We show that the first-order recursive path ordering is equal to an ordering naturally defined from the computability closure. In the higher-order case, we get an ordering containing the higher-order recursive path ordering whose well-foundedness relies on the correctness of the computability closure. This provides a simple way to extend the higher-order recursive path ordering to richer type systems.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Factors Influencing Residual Pleural Opacity in Tuberculous Pleural Effusion

Tuberculous pleural effusion (TPE) leads to residual pleural opacity (RPO) in a significant proportion of cases. The aim of this study was to investigate which TPE patients would have RPO following the treatment. This study was performed prospectively for a total of 60 TPE patients, who underwent pleural fluid analysis on the initial visit and chest radiographs and computed tomography (CT) scan...

متن کامل

Resolution of residual pleural disease according to time course in tuberculous pleurisy during and after the termination of antituberculosis medication.

STUDY OBJECTIVES To assess the resolution of pleural disease in patients with tuberculous pleurisy (TP) during and after antituberculosis medication. DESIGN An observational, prospective, longitudinal study. SETTING University-affiliated general hospital in Seoul, Korea. PATIENTS AND METHODS Chest radiographs of 85 adult TP patients were followed up prospectively from diagnosis to 24 mont...

متن کامل

Colorectal Cancer with Residual Polyp of Origin: A Model of Malignant Transformation12

The majority of colorectal cancers (CRCs) arise from adenomatous polyps. In this study, we sought to present the underrecognized CRC with the residual polyp of origin (CRC RPO+) as an entity to be utilized as a model to study colorectal carcinogenesis. We identified all subjects with biopsy-proven CRC RPO+ that were evaluated over 10 years at Mayo Clinic, Rochester, MN, and compared their clini...

متن کامل

Factors influencing effectiveness in second-tier marketing RPOs in Uganda

This paper investigates the factors influencing the effectiveness of second-tier rural producer organizations (RPO) in linking their members to output markets in Uganda. Effectiveness of an RPO is expressed as the percentage of farmer members who used the RPO for marketing some of their production in 2009. To identify factors that influence RPO effectiveness, a censored least absolute deviation...

متن کامل

Differential effect of procaine injection into the rostral and caudal part of the nucleus pontis oralis on hippocampal theta rhythm in urethane-anesthetized rats.

The nucleus reticularis pontis oralis (RPO) is a reticular structure important for the regulation of paradoxical sleep (PS). However, the data concerning the relation between the RPO and the main tonic indicator of PS, hippocampal theta rhythm, are contradictory: although electrical or cholinergic stimulation of the RPO evoked well-synchronized theta activity, the electrolytic lesion of the str...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/cs/0609037  شماره 

صفحات  -

تاریخ انتشار 2006